Design an Arm Robot through Prolog Programming Language

Lambda-Prolog: An Extended Logic Programming Language

The logic programming language AProlog is an extension of conventional Prolog in several different directions. These extensions provide higher-order functions, A-terms, a polymorphic typing discipline, modules, and a mechanism for providing secure abstract datatypes. Our original goal in developing AProlog was to understand the essential logical and proof theoretic nature of these extensions. T...

An introduction to logic programming through Prolog

A Prolog-Based Language for Workflow Programming

Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow systems in use, mostly commercial products, and no standard language has been defined in which to express workflow specifications. In this paper we propose Workflow Prolog, a new extension of Prolog. The language allows wor...

1 Prolog as the First Programming Language

The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher conceptual level of this programming paradigm guides students to an early appreciation for abstraction. The descriptive character of programs makes them more understandable than conventional programs, and the relational basis makes them more versatile. This incremental and high...

Design and Control Architecture of an Anthropomorphic Robot Arm

In this paper an anthropomorphic robot arm is de scribed for service tasks The paper focus mainly on the mechatronics concept of the arm which gets its inspiration from the biology of the human arm This includes the mechanical design kinematical mod elling the range of motion the sensor concept and the hierarchical control architecture